Basic science

Results: 4014



#Item
521

BRICS Basic Research in Computer Science BRICS RSMikucionis et al.: Online On-the-Fly Testing of Real-time Systems Online On-the-Fly Testing of

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2004-02-12 05:13:14
    522

    Daniel Sch¨ appi University of Chicago Weakly Tannakian categories Classical Tannaka duality is a duality between groups and their categories of representations. The two basic questions it answers are the reconstruction

    Add to Reading List

    Source URL: web.science.mq.edu.au

    Language: English - Date: 2013-06-21 05:36:35
      523

      BRICS Basic Research in Computer Science BRICS RSLyngsø et al.: An Improved Algorithm for RNA Secondary Structure Prediction An Improved Algorithm for

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1999-06-29 04:46:18
        524

        BRICS BRICS DS-96-3 Basic Research in Computer Science

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 1997-09-02 07:53:30
          525

          Bilateral Research Cooperation Brazil (CNPq) – Flanders (FWO) Funding for joint basic research projects in the fields of scientific and technological research I. Introduction Science is increasingly global. Many resear

          Add to Reading List

          Source URL: www.fwo.be

          Language: English - Date: 2013-12-20 11:03:56
            526

            BRICS Basic Research in Computer Science BRICS RS-00-4 R. Pagh: A New Trade-off for Deterministic Dictionaries

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2000-02-17 06:24:06
              527

              BRICS Basic Research in Computer Science BRICS NS-98-7 J. Power: 2-Categories

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 1998-10-18 19:44:51
                528

                BRICS Basic Research in Computer Science BRICS DSD. Varacca: Two Denotational Models for Probabilistic Computation Probability, Nondeterminism and

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2004-03-22 11:49:34
                  529

                  BRICS RSBiernacki & Danvy: A Simple Proof of a Folklore Theorem about Delimited Control BRICS Basic Research in Computer Science

                  Add to Reading List

                  Source URL: www.brics.dk

                  Language: English - Date: 2005-03-22 04:52:31
                    530

                    BRICS Basic Research in Computer Science BRICS RSS. B. Lassen: Relational Reasoning about Contexts Relational Reasoning about Contexts

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 1997-10-01 04:15:59
                      UPDATE